home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / env / invenv.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  496 b   |  18 lines
  1. (* Copyright 1992 by AT&T Bell Laboratories *)
  2. (* env/invenv.sig *)
  3.  
  4. signature INVERSE_ENV =
  5. sig
  6.   type componentId
  7.   type invenv
  8.   exception Unbound
  9.   exception SpecialEnv
  10.   val empty : invenv
  11.   val special : (Access.lvar -> componentId) * invenv -> invenv
  12.   val bind : Access.lvar * componentId * invenv -> invenv
  13.   val look : invenv -> Access.lvar -> componentId
  14.   val atop : invenv * invenv -> invenv
  15.   val remove: Access.lvar list * invenv -> invenv
  16.   val consolidate : invenv -> invenv
  17. end
  18.